Optimal. Leaf size=123 \[ \frac{\tan (e+f x) \cos ^2(e+f x)^{p+\frac{1}{2}} (d \sin (e+f x))^m \left (\frac{-a \sin ^2(e+f x)+a+b}{a+b}\right )^{-p} \left (a+b \sec ^2(e+f x)\right )^p F_1\left (\frac{m+1}{2};p+\frac{1}{2},-p;\frac{m+3}{2};\sin ^2(e+f x),\frac{a \sin ^2(e+f x)}{a+b}\right )}{f (m+1)} \]
[Out]
________________________________________________________________________________________
Rubi [F] time = 0.0454144, antiderivative size = 0, normalized size of antiderivative = 0., number of steps used = 0, number of rules used = 0, integrand size = 0, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0., Rules used = {} \[ \int \left (a+b \sec ^2(e+f x)\right )^p (d \sin (e+f x))^m \, dx \]
Verification is Not applicable to the result.
[In]
[Out]
Rubi steps
\begin{align*} \int \left (a+b \sec ^2(e+f x)\right )^p (d \sin (e+f x))^m \, dx &=\int \left (a+b \sec ^2(e+f x)\right )^p (d \sin (e+f x))^m \, dx\\ \end{align*}
Mathematica [B] time = 4.05454, size = 286, normalized size = 2.33 \[ \frac{\sin (e+f x) \cos (e+f x) (d \sin (e+f x))^m \left (a+b \sec ^2(e+f x)\right )^p F_1\left (\frac{m+1}{2};\frac{m+2}{2},-p;\frac{m+3}{2};-\tan ^2(e+f x),-\frac{b \tan ^2(e+f x)}{a+b}\right )}{f (m+1) \left (F_1\left (\frac{m+1}{2};\frac{m+2}{2},-p;\frac{m+3}{2};-\tan ^2(e+f x),-\frac{b \tan ^2(e+f x)}{a+b}\right )-\frac{\tan ^2(e+f x) \left ((m+2) (a+b) F_1\left (\frac{m+3}{2};\frac{m+4}{2},-p;\frac{m+5}{2};-\tan ^2(e+f x),-\frac{b \tan ^2(e+f x)}{a+b}\right )-2 b p F_1\left (\frac{m+3}{2};\frac{m+2}{2},1-p;\frac{m+5}{2};-\tan ^2(e+f x),-\frac{b \tan ^2(e+f x)}{a+b}\right )\right )}{(m+3) (a+b)}\right )} \]
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 1.088, size = 0, normalized size = 0. \begin{align*} \int \left ( a+b \left ( \sec \left ( fx+e \right ) \right ) ^{2} \right ) ^{p} \left ( d\sin \left ( fx+e \right ) \right ) ^{m}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int{\left (b \sec \left (f x + e\right )^{2} + a\right )}^{p} \left (d \sin \left (f x + e\right )\right )^{m}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F] time = 0., size = 0, normalized size = 0. \begin{align*}{\rm integral}\left ({\left (b \sec \left (f x + e\right )^{2} + a\right )}^{p} \left (d \sin \left (f x + e\right )\right )^{m}, x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int{\left (b \sec \left (f x + e\right )^{2} + a\right )}^{p} \left (d \sin \left (f x + e\right )\right )^{m}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]